Schnoebelen, J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Gender identity and lexical variation in social media

Bamman, David, Eisenstein, Jacob, Schnoebelen, Tyler

Journal:

Journal of Sociolinguistics

Year:

2014

Language:

english

File:

PDF, 663 KB

english, 2014

2

On the expressivity and complexity of quantitative branching-time temporal logics

F. Laroussinie, Ph. Schnoebelen, M. Turuani

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 347 KB

english, 2003

3

The rise of the small household: demographic change and household structure in Paris

Philip E. Ogden, François Schnoebelen

Journal:

Population, Space and Place

Year:

2005

Language:

english

File:

PDF, 1.13 MB

english, 2005

4

A parametric analysis of the state-explosion problem in model checking

S. Demri, F. Laroussinie, Ph. Schnoebelen

Journal:

Journal of Computer and System Sciences

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

5

Performance Practices at San Petronio in the Baroque

Anne Schnoebelen

Journal:

Acta Musicologica

Year:

1969

Language:

english

File:

PDF, 2.26 MB

english, 1969

6

Beginning and Succeeding in Graduate School

Chang, Jenss, Schnoebelen, Katrina, Smith, Steven R.

Journal:

Journal of Personality Assessment

Year:

2007

Language:

english

File:

PDF, 64 KB

english, 2007

7

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma

Figueira, Diego, Figueira, Santiago, Schmitz, Sylvain, Schnoebelen, Philippe

Year:

2011

Language:

english

File:

PDF, 360 KB

english, 2011

8

THE GROWTH OF PADRE MARTINI'S LIBRARY AS REVEALED IN HIS CORRESPONDENCE

SCHNOEBELEN, ANNE

Journal:

Music and Letters

Year:

1976

Language:

english

File:

PDF, 1.01 MB

english, 1976

9

Nitrogen Distribution and Potential Mobility in Sediments of Three Typical Shallow Urban Lakes in China

Wang, Pei-Fang, Zhao, Li, Wang, Chao, Hou, Jun, Schnoebelen, Douglas J.

Journal:

Environmental Engineering Science

Year:

2009

Language:

english

File:

PDF, 41.39 MB

english, 2009

10

Review of Play in child development and psychotherapy: Toward empirically supported practice.

Schnoebelen, Katrina, Smith, Steven R.

Journal:

Psychology of Aesthetics, Creativity, and the Arts

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

11

Local Nusselt Numbers for Flowing Packed Particle Beds in Circular Tubes With Constant Wall Heat Flux

Schnoebelen, K. S., Abdel-Khalik, S. I.

Journal:

Journal of Heat Transfer

Year:

1986

Language:

english

File:

PDF, 375 KB

english, 1986

12

Design and Evaluation of a One-Semester General Chemistry Course for Undergraduate Life Science Majors

Schnoebelen, Carly, Towns, Marcy H., Chmielewski, Jean, Hrycyna, Christine A.

Journal:

Journal of Chemical Education

Year:

2018

Language:

english

File:

PDF, 564 KB

english, 2018

13

τ-Bisimulations and full abstraction for refinement of actions

F. Cherief, Ph. Schnoebelen

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 525 KB

english, 1991

14

Refined compiliation of pattern-matching for functional languages

Ph. Schnoebelen

Journal:

Science of Computer Programming

Year:

1988

Language:

english

File:

PDF, 1.68 MB

english, 1988

15

A hierarchy of temporal logics with past

F. Laroussinie, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.40 MB

english, 1995

16

A PTIME-complete matching problem for SLP-compressed words

N. Markey, Ph. Schnoebelen

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 157 KB

english, 2004

17

A note on the attractor-property of infinite-state Markov chains

Christel Baier, Nathalie Bertrand, Philippe Schnoebelen

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

18

Mu-calculus path checking

Nicolas Markey, Philippe Schnoebelen

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 102 KB

english, 2006

19

Verifying lossy channel systems has nonprimitive recursive complexity

Ph. Schnoebelen

Journal:

Information Processing Letters

Year:

2002

Language:

english

File:

PDF, 171 KB

english, 2002

20

Well-structured transition systems everywhere!

A. Finkel, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

21

The regular viewpoint on PA-processes

D. Lugiez, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 228 KB

english, 2002

22

A rewrite-based type discipline for a subset of computer algebra

H. Comon, D. Lugiez, Ph. Schnoebelen

Journal:

Journal of Symbolic Computation

Year:

1991

Language:

english

File:

PDF, 1.29 MB

english, 1991

23

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems

A. Labroue, Ph. Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 515 KB

english, 2002

24

Specification in CTL+Past, Verification in CTL

F. Laroussinie, Ph. Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.39 MB

english, 1997

25

A model for recursive-parallel programs

Olga Kouchnarenko, Ph. Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 31 KB

1997

26

Relations among school assets, individual resilience, and student engagement for youth grouped by level of family functioning

Jill D. Sharkey, Sukkyung You, Katrina Schnoebelen

Journal:

Psychology in the Schools

Year:

2008

Language:

english

File:

PDF, 133 KB

english, 2008

27

Translations between modal logics of reactive systems

F. Laroussinie, S. Pinchinat, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.15 MB

english, 1995

28

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 53 KB

english, 2004

29

A Short Visit to the STS Hierarchy

Nathalie Bertrand, Philippe Schnoebelen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 278 KB

english, 2006

30

Efficient timed model checking for discrete-time systems

F. Laroussinie, N. Markey, Ph. Schnoebelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

31

A general approach to comparing infinite-state systems with their finite-state specifications

Antonín Kučera, Philippe Schnoebelen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 348 KB

english, 2006

32

Delineation of a Saline Ground-Water Boundary from Borehole Geophysical Data

Douglas J. Schnoebelen, Edward F. Bugliosi, Noel C. Krothe

Journal:

Year:

1995

File:

PDF, 1.14 MB

1995

33

Reef and Nonreef Aquifers—A Comparison of Hydrogeology and Geochemistry, Northwestern Indiana

Douglas J. Schnoebelen, Noel C. Krothe

Journal:

Year:

1999

File:

PDF, 966 KB

1999

34

Degradates Provide Insight to Spatial and Temporal Trends of Herbicides in Ground Water

Dana W. Kolpin, Douglas J. Schnoebelen, E. Michael Thurman

Journal:

Year:

2004

File:

PDF, 671 KB

2004

35

NUTRIENTS DISCHARGED TO THE MISSISSIPPI RIVER FROM EASTERN IOWA WATERSHEDS, 1996.1997

Kent D. Becher, Douglas J. Schnoebelen, Kimberlee K B. Akers

Journal:

JAWRA Journal of the American Water Resources Association

Year:

2000

Language:

english

File:

PDF, 457 KB

english, 2000

36

Optimization of the catalytic properties of Aspergillus fumigatus phytase based on the three-dimensional structure

Andrea Tomschy, Michel Tessier, Markus Wyss, Roland Brugger, Clemens Broger, Line Schnoebelen, Adolphus P.G.M. Van Loon, Luis Pasamontes

Journal:

Protein Science

Year:

2000

Language:

english

File:

PDF, 997 KB

english, 2000

37

Psychometrics of a simple method for scoring organizational approach on the Rey-Osterrieth complex figure

Steven R. Smith, Jenss Chang, Katrina J. Schnoebelen, Jordan W. Edwards, Amanda M. Servesko, Sara J. Walker

Journal:

Journal of Neuropsychology

Year:

2007

Language:

english

File:

PDF, 145 KB

english, 2007

38

Specification in CTL+Past for Verification in CTL

F. Laroussinie, Ph. Schnoebelen

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 419 KB

english, 2000

39

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Stéphane Demri, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 223 KB

english, 2002

40

On termination and invariance for faulty channel machines

Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Schnoebelen, Philippe, Worrell, James

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 411 KB

english, 2012

41

Verification of probabilistic systems with faulty communication

P.A. Abdulla, N. Bertrand, A. Rabinovich, Ph. Schnoebelen

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 283 KB

english, 2005

42

BTL2 and the expressive power of ECTL+

Alexander Rabinovich, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

43

Decidable first-order transition logics for PA-processes

Denis Lugiez, Philippe Schnoebelen

Journal:

Information and Computation

Year:

2005

Language:

english

File:

PDF, 481 KB

english, 2005

44

Neurocognitive and neuroimaging correlates of pediatric traumatic brain injury: A diffusion tensor imaging (DTI) study

Jeffrey R. Wozniak, Linda Krach, Erin Ward, Bryon A. Mueller, Ryan Muetzel, Sarah Schnoebelen, Andrew Kiragu, Kelvin O. Lim

Journal:

Archives of Clinical Neuropsychology

Year:

2007

Language:

english

File:

PDF, 521 KB

english, 2007

45

Influence of age and genotype on endocrine parameters and growth performance: a comparative study in Wild boars, Meishan and Large White boars

U Weiler, R Claus, S Schnoebelen-Combes, I Louveau

Journal:

Livestock Production Science

Year:

1998

Language:

english

File:

PDF, 189 KB

english, 1998

46

[American Institute of Aeronautics and Astronautics 41st Aerospace Sciences Meeting and Exhibit - Reno, Nevada ()] 41st Aerospace Sciences Meeting and Exhibit - X-38 Component Build-up and Lateral-Directional Stability Analysis

Schnoebelen, Steven, Yechout, Thomas

Year:

2003

Language:

english

File:

PDF, 658 KB

english, 2003

47

Computable fixpoints in well-structured symbolic model checking

Bertrand, N., Schnoebelen, P.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

48

The response of the Galago senegalensis to physical training

Tipton, Charles M., Matthes, Ronald D., Vailas, Arthur C., Schnoebelen, Claudia L.

Journal:

Comparative Biochemistry and Physiology Part A: Physiology

Year:

1979

Language:

english

File:

PDF, 783 KB

english, 1979

49

Response to the Review of The Letters of Claudio Monteverdi

Denis Stevens and Anne Schnoebelen

Journal:

Year:

1982

Language:

english

File:

PDF, 107 KB

english, 1982

50

The Letters of Claudio Monteverdiby Denis Stevens; Claudio Monteverdi

Review by: Anne Schnoebelen

Journal:

Year:

1981

Language:

english

File:

PDF, 106 KB

english, 1981

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски